منابع مشابه
Bilattices and Modal Operators
A bilattice is a set equipped with two partial orders and a negation operation that inverts one of them while leaving the other unchanged; it has been suggested that the truth values used by inference systems should be chosen from such a structure instead of the two-point set {t, f}. Given such a choice, we redefine a modal operator to be a function on the bilattice selected, and show that this...
متن کاملAuxiliary Modal Operators and the Characterization of Modal Frames
In modal logics we are interested in classes of frames which determine the logic under consideration. Such classes are usually distinguished by their respective frame properties, often also called the modal logic's background theory. In general these characterizations are not unique and it is desireable (and that not only from a theorem prover's perspective) to nd a strongest possible. In this ...
متن کاملHumean Dispositionalism
Humean metaphysics is characterised by a rejection of necessary connections between distinct existences. Dispositionalists claim that there are basic causal powers. The existence of such properties is widely held to be incompatible with the Humean rejection of necessary connections. In this paper I present a novel theory of causal powers that vindicates the dispositionalist claim that causal po...
متن کاملModal Operators for Coequations
We present the dual to Birkhoff’s variety theorem in terms of predicates over the carrier of a cofree coalgebra (i.e., in terms of “coequations”). We then discuss the dual to Birkhoff’s completeness theorem, showing how closure under deductive rules dualizes to yield two modal operators acting on coequations. We discuss the properties of these operators and show, given a familiar condition on t...
متن کاملTerminological Logics with Modal Operators
Terminological knowledge representation formalisms can be used to represent objective, time-independent facts about an application domain. Notions like belief, intentions, and t ime which are essential for the representation of mult i-agent environments can only be expressed in a very l imi ted way. For such not i ons, modal logics w i th possible worlds semantics provides a formal ly well-foun...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy and Phenomenological Research
سال: 2014
ISSN: 0031-8205
DOI: 10.1111/phpr.12132